エンタープライズ版

abstract interpretation